double extension - German English Dictionary